Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
501	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2011-02-17 08:33:45 Procedural programming languages Data types Logic in computer science Programming language semantics C programming language Denotational semantics Pointer ALGOL 68 C syntax Software engineering Computing Computer programming
502	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:37:51 Procedural programming languages Compiler construction C++ Programming language implementation Data types Compiler C Forth Subroutine Software engineering Computing Computer programming
503	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala.epfl.ch Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
504	Functional Programming and Specification Lecture Note 4, 15 March 2011 Specifying structures in Extended ML Axioms can be used to specify structures too. A structure will typically contain several Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:39 Data types Z notation ALGOL 68 Hindley–Milner Array data type List Constructible universe S Comparison of programming languages Software engineering Computing Programming language theory
505	The Napier88 Persistent Programming Language and Environment Morrison, R., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Munro, D.S. & Atkinson, M.P.§ School of Mathematical and Computational Sciences, University of St An Add to Reading List Source URL: archive.cs.st-andrews.ac.uk Language: English - Date: 2005-08-30 09:56:42 Type theory Data types Programming languages Functional programming Procedural programming languages Persistence Napier88 PS-algol Type system Software engineering Computing Computer programming
506	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala-lang.org Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
507	Data Types, Functions, and Programming Daniel R. Grayson? and Michael E. Stillman?? In this chapter we present an introduction to the structure of Macaulay 2 commands and the writing of functions in the Macaulay 2 langua Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-04-28 11:05:54 Theoretical computer science Recursion Function Hash function Eval Fixed-point combinator Comparison of programming languages Μ operator Mathematics Functions and mappings Computing
508	Fortran 2003 extensions and the NAG Fortran Compiler October 17, [removed]Introduction Add to Reading List Source URL: www.nag.co.uk Language: English - Date: 2012-10-24 07:37:18 Data types Type theory Procedural programming languages Primitive types Object-oriented programming Fortran Pointer Variable Type safety Software engineering Computing Computer programming
509	OpenGL ES 3.0 API Reference Card Page 1 OpenGL® ES is a software interface to graphics hardware. The interface consists of a set of procedures and functions that allow a programmer to specify the Add to Reading List Source URL: www.khronos.org Language: English - Date: 2014-04-08 09:34:29 C++ Data types Procedural programming languages Cross-platform software OpenGL Enumerated type C ALGOL 68 E Computing Computer programming Software engineering
510	Introduction Windows based computers support two types of libraries: static and dynamic. A static library is a collection of object files (modules), each containing one or more routines that are maintained in a single fi Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-07-17 07:04:47 Procedural programming languages Computer file formats Microsoft Windows Dynamic-link library Library Visual Basic Windows API Static library Fortran Computing Software Computer programming

UPDATE